Sheep Cloning with Ownership Types

نویسندگان

  • Paley Li
  • Nicholas Cameron
  • James Noble
چکیده

Object-oriented programmers often need to clone objects. Mainstream languages, such as C# and Java, typically default to shallow cloning, which copies just one object and aliases references from that object. Other languages, such as Eiffel, provide deep cloning. A deep clone is a copy of the entire object graph reachable from the cloned object, which could include many unnecessary objects. Alternatively, programmers can implement their own object cloning functions, however, this is often difficult and error prone. Sheep Cloning is an automated cloning technique which uses ownership information to provide the benefits of both shallow and deep cloning without the costs. We describe, formalise, and prove soundness of Sheep Cloning in a minimal object-oriented calculus with ownership types.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

P-27: Conservation Cloning of Esfahan Mouflon

Background: Among wide range of bio-conservational strategies envisaged, recent accomplishments in the field of somatic cell nuclear transfer (SCNT) holds considerable promise due to its unique potential to decelerate or prevent rapid loss of animal genetic resources, and even to revive extinct species. This study was undertaken to investigate whether domestic sheep in vitro matured and enuclea...

متن کامل

Tax Avoidance and Institutional Ownership: Active vs. Passive Ownership

Income tax is one of the most important costs of companies and it is usually considered as a cost that should not be paid. One of the most noticeable and influential factors in tax avoidance is corporate ownership structure. With an emphasis on institutional ownership and its types in this paper, it is attempted to measure the effect of this ownership and its types on corporate tax avoidance. F...

متن کامل

Reducing Anemia Prevalence in Afghanistan: Socioeconomic Correlates and the Particular Role of Agricultural Assets

This research aims to examine the socio-economic correlates of anemia in women, and potential sources of iron in household diets in Afghanistan. It also examines whether ownership of agricultural (particularly livestock) assets and their use in food production has a role in alleviating anaemia, especially where local markets may be inadequate. We analyse data from the 2010/11 Afghanistan Multip...

متن کامل

Cloning advances and challenges for conservation.

Although controversy surrounds cloning efforts, the cloning of animals to assist efforts to preserve genetic variation in support of endangered species conservation efforts has attracted serious interest. A recent report by Loi et al. describing the cloning of a mouflon (a species of wild sheep) in a domestic sheep surrogate points to potential conservation opportunities and additional challeng...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012